CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software
نویسندگان
چکیده
We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular focus on the specification-based control logic of the system under test and offers improvements in testing coverage metrics over a classic method which is routinely used in industry. The proposed method targets the Modified Condition/ Decision Coverage (MC/DC) objective for automotive safety-critical software. CTMCONTROL is validated via a controlled experiment which highlights the higher structural coverage delivered by the new approach. The method is implemented in the popular Matlab/Simulink/Stateflow (M/S/S) environ-
منابع مشابه
Model-Based Test-Suite Minimization using Modified Condition/Decision Coverage (MC/DC)
Testing is very expensive for high-assurance software, like commercial aircraft systems, weapon research, weather forecast, earthquake forecast, and software used for safety critical system. A small and simple flaw in the end product can be enough for destroying the entire effort of the developer with a huge unrecoverable damage to the society. For this reason, Federal Aviation Administration’s...
متن کاملReinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
A new Reinforced Condition/Decision Coverage (RC/DC) criterion for software testing is proposed. This criterion provides further development of the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for testing of safety-critical software. Formal definitions in the Z notation for RC/DC, as well as MC/DC, are presented. Specific examples of using of these crit...
متن کاملBeyond MC/DC Coverage Testing
In the last 5 years, the Back-to-Back testing approach became very popular in the automotive domain and could be applied successfully. One reason is the trend to subsume all development and test activities to a higher abstraction layer, the model level. Another reason is the introduction of the ISO 26262 standard, which recommends the back-to-back testing approach to assure equal behavior betwe...
متن کاملEffect of Testing Coverage on Software Reliability - an Experimental Investigation
Logical expressions are often used to formalize software specifications of safety-critical systems. These logical expressions can be tested using software testing methods (criteria) that include Decision Coverage (DC), Condition Coverage (CC), Decision/Condition (D/CC), and Modified Condition/Decision Coverage (MC/DC). Selection of the appropriate testing method is an important practical task. ...
متن کاملAn Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
In order to be certified by the FAA, airborne software must comply with the DO-178B standard. For the unit testing of safety-critical software, this standard requires the testing process to meet a source code coverage criterion called Modified Condition/Decision Coverage. This part of the standard is controversial in the aviation community, partially because of perceived high cost and low effec...
متن کامل